منابع مشابه
Towards Reusable Real-Time Objects
Large and complex real-time systems can benefit significantly from a component-based development approach where new systems are constructed by composing reusable, documented and previously tested concurrent objects. However, reusing objects which execute under real-time constraints is problematic because application specific time and synchronization constraints are often embedded in the interna...
متن کاملTowards validated real-time software
We present a tool for the design and validation of embedded real-time applications. The tool integrates two approaches, the use of the synchronous programming language ESTEREL for design and the application of model-checking techniques for validation of real-time properties. Validation is carried out on a global formal model (timed automata) taking into account the effective implementation of t...
متن کاملTowards Real Time Ontology Editing
Recently there has been substantial development of OWL ontology engineering tools. Such tools typically come equipped with fully functional Description Logic (DL) reasoners, as both OWL-Lite and OWL-DL are formally aligned with Description Logics. One main limitation of editors is that the underlying reasoners cannot be continuously turned on while editing large, expressive ontologies, due to t...
متن کاملTowards Real Time Volume Rendering
The task of real time rendering of today’s volumetric datasets is still being tackled by several research groups. A quick calculation of the amount of computation required for real-time rendering of a high resolution volume puts us in the teraflop range. Yet, the demand to support such rendering capabilities is increasing due to emerging technologies such as virtual surgery simulation and rapid...
متن کاملReal-Time Mach: Towards a Predictable Real-Time System
Distributed real-time systems play a very important role in our modern society. They are used in aircraft control, communication systems, military command and control systems, factory automation, and robotics. However, satisfying the rigid timing requirements of various real-time activities in distributed real-time systems often requires ad hoc methods to tune the system's runtime behavior The ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Expert Systems with Applications
سال: 2013
ISSN: 0957-4174
DOI: 10.1016/j.eswa.2012.12.087